Structuring Acyclic Process Models
نویسندگان
چکیده
This paper addresses the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method to structure any process model that belongs to this class. This paper fills this gap in the context of acyclic process models. The paper defines a necessary and sufficient condition for an unstructured process model to have an equivalent structured model under fully concurrent bisimulation, as well as a complete structuring method.
منابع مشابه
Maximal Structuring of Acyclic Process Models
This article addresses the transformation of a process model with an arbitrary topology into an equivalent structured process model. In particular, this article studies the subclass of process models that have no equivalent well-structured representation but which, nevertheless, can be partially structured into their maximally-structured representation. The transformations are performed under a...
متن کاملOn Separation of Concurrency and Conflicts in Acyclic Process Models
Recently, a new approach for structuring acyclic process models has been introduced. The algorithm is based on a transformation between the Refined Process Structure Tree (RPST) of a control flow graph and the Modular Decomposition Tree (MDT) of ordering relations. In this paper, an extension of the algorithm is presented that allows to partially structure process models in the case when a proc...
متن کاملStochastic Control with Graphical Models: the Influence View Approach
| Markov decision processes (MDPs) allow to represent a wide class of problems in medical decision making and control. The complexity of the algorithms used to search the best policy of a MDP is directly related with the dimensionality of the state space. A careful structuring of the state space is hence an important task in the MDP spe-ciication. Graphical models are particularly appealing to ...
متن کاملAn efficient approach to detect lack of synchronization in acyclic workflow graphs
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to represent the control-flow of business process models. We structurally characterize lack of synchronization in an acyclic workflow graph. Based on this characterization, we show how to detect lack of synchronization in qua...
متن کاملParsing Behavior: The Hierarchical Nature of Concurrent Systems
Behavioral models are the conceptual models that capture operational principles of real-world or designed systems. A behavioral model defines the state space of a system and the way the system can operate within its state space. A concurrent system allows for several threads of computation to execute simultaneously in the system. Parsing is a technique for discovering the structure of a behavio...
متن کامل